00100	STANFORD ARTIFICIAL INTELLIGENCE LABORATORY
00200	
00300	Director:  John McCarthy
00400	Associate Director & Executive Officer:  Lester Earnest
00500	Associate Director:  Jerome Feldman
00600	
00700	Research  group  leaders:   Thomas  Binford,  Kenneth  Colby,  Jerome
00800	Feldman,  Cordell  Green, John McCarthy, David Luckham, Robin Milner,
00900	Lynn Quam, Arthur Samuel, Roger Schank, Yorick Wilks.
01000	
01100	The Artificial Intelligence Laboratory is located in the D. C.  Power
01200	Building,  which is about 10 minutes away from campus near Felt Lake.
01300	Currently, there are 120 faculty, staff, and graduate students  doing
01400	research  in  artificial intelligence and related fields.  Laboratory
01500	facilities include a timesharing system based  on  PDP-10  and  PDP-6
01600	computers with 60 display terminals attached.
01700	
01800	The  largest  project  in  the  laboratory  is  devoted to "Hand-Eye"
01900	systems, in which the computer attempts to perceive three-dimensional
02000	objects  from  digitized  television  images  and to manipulate these
02100	objects  using  computer-controlled   mechanical   arms.    Potential
02200	application  areas  include  industrial  assembly tasks and planetary
02300	exploration missions.
02400	
02500	Another   vision-oriented   project   is    developing    interactive
02600	photo-interpretation  systems.   Their  techniques  are being used to
02700	examine photographs of Mars returned by the Mariner Satellites,  with
02800	the  aim  of finding features that have changed between observations.
02900	A number of interesting features have been found.
03000	
03100	Work on mathematical theory  of  computation  and  automatic  theorem
03200	proving  is  developing  a  theoretical basis for making mathematical
03300	proofs of what certain computer programs do or don't do.  In the long
03400	run,  it is hoped that our imperfect program debugging techniques can
03500	be replaced by rigorous proofs.
03600	
03700	A  psychiatrically-oriented   project   has   developed   interactive
03800	techniques  for  treating  autistic  children.  A related project has
03900	developed a conversational program that models a paranoid individual.
04000	
04100	There are small projects on computer  recognition  of  human  speech,
04200	machine  translation  (currently,  English  to  French), and symbolic
04300	computation.  We are also providing some computer support to  members
04400	of  the  Stanford  Music  Department,  for work on computer-generated
04500	music.
04600	
04700	Considerable  effort  has  gone  into  the  development  of   support
04800	facilities.   Current  projects  include  improvements  to  the  SAIL
04900	language (a dialect of ALGOL  60  with  certain  advanced  features),
05000	development  of the LISP 70 language, and the design and construction
05100	of a fast new computer, called FOONLY.
05200	
05300	Support  for  various  activities of the Laboratory has come from the
05400	Advanced Research Projects  Agency  of  the  Department  of  Defense,
05500	National  Science  Foundation,  National Institutes of Mental Health,
05600	and National Aeronautics and Space Administration.
05700	
05800	                           Recent Articles
05900	
06000	1.  J. M. Cadiou and Z.  Manna,  "Recursive  Definitions  of  Partial
06100	Functions  and  their Computations", ACM SIGPLAN Notices, Vol. 7, No.
06200	1, January 1972.
06300	
06400	2.  K. M. Colby, S. Weber, F. D. Hilf, "Artificial Paranoia", J. Art.
06500	Int., Vol. 2, No. 1, 1971.
06600	
06700	3.    G.   Falk,   "Interpretation   of  Imperfect  Line  Data  as  a
06800	Three-Dimensional Scene", J. Artificial Intelligence, Vol. 3, No.  2,
06900	1972.
07000	
07100	4.   S.  J. Garland and D. C. Luckham, "Translating Recursive Schemes
07200	into Program Schemes", ACM SIGPLAN Notices, Vol. 7,  No.  1,  January
07300	1972.
07400	
07500	5.   J.  Gips,  "A New Reversible Figure", Perceptual & Motor Skills,
07600	34, 306, 1972.
07700	
07800	6.   R. L. London, "Correctness of a Compiler for a LISP Subset", ACM
07900	SIGPLAN Notices, Vol. 7, No. 1, January 1972.
08000	
08100	7.  Z. Manna, S. Ness,  and  J.  Vuillemin,  "Inductive  Methods  for
08200	Proving  Properties of Programs", ACM SIGPLAN Notices, Vol. 7, No. 4,
08300	January 1972.
08400	
08500	8.  Z. Manna and J. Vuillemin, "Fixpoint Approach to  the  Theory  of
08600	Computation", Comm. ACM, July 1972.
08700	
08800	9.   R. Milner, "Implementatiion and Application of Scott's Logic for
08900	Computable Functions", ACM SIGPLAN NOTICES, Vol. 7,  No.  1,  January
09000	1972.
09100	
09200	10.  James  A.  Moorer,  "Music and Computer Composition", Comm. ACM,
09300	January 1972.
09400	
09500	11. Leland Smith, "SCORE -- A Musician's Approach to Computer Music",
09600	J. Audio Eng. Soc., Jan./Feb. 1972.
09700	
09800	                           Recent Reports
09900	
10000	AIM-151, Ralph L. London, CORRECTNESS OF TWO  COMPILERS  FOR  A  LISP
10100		SUBSET, October 1971, 41 pages.
10200	
10300	AIM-152, A.W. Biermann, ON THE  INFERENCE  OF  TURING  MACHINES  FROM
10400		SAMPLE COMPUTATIONS, October 1971, 31 pages.
10500	
10600	AIM-153,  Patrick J. Hayes, THE FRAME PROBLEM AND RELATED PROBLEMS IN
10700		ARTIFICIAL INTELLIGENCE, November 1971, 18 pages.
10800	
10900	AIM-154,  Zohar  Manna,  Stephen  Ness  and Jean Vuillemin, INDUCTIVE
11000		METHODS  FOR  PROVING  PROPERTIES OF PROGRAMS, November 1971,
11100		24 pages.
11200	
11300	AIM-155, Jonathan Leonard Ryder, HEURISTIC ANALYSIS OF LARGE TREES AS
11400		GENERATED IN THE GAME OF GO, December 1971, 300 pages.
11500	
11600	AIM-156,  Kenneth Mark Colby, Franklin Dennis Hilf, Sylvia Weber, and
11700		Helena C. Kraemer,  A  RESEMBLANCE TEST  FOR  THE  VALIDATION
11800		OF   A   COMPUTER   SIMULATION   OF   PARANOID     PROCESSES,
11900		November 1971, 29 pages.
12000	
12100	AIM-157, Yorick Wilks, ONE SMALL HEAD----SOME REMARKS ON THE  USE  OF
12200		`MODEL' IN LINGUISTICS, December 1971, 17 pages.
12300	
12400	AIM-158, Zohar Manna, Ashok Chandra, PROGRAM SCHEMAS  WITH  EQUALITY,
12500		December 1971, 22 pages.
12600	
12700	AIM-159,  J.A.  Feldman  and  Paul  C.  Shields, TOTAL COMPLEXITY AND
12800		INFERENCE OF BEST PROGRAMS, April 1972.
12900	
13000	AIM-160,  J. Feldman, AUTOMATIC PROGRAMMING, February 1972, 20 pages.
13100	
13200	AIM-161, Y. Wilks, AN ARTIFICIAL  INTELLIGENCE  APPROACH  TO  MACHINE
13300		TRANSLATION, February 1972, 44 pages.
13400	
13500	AIM-162, Roger Schank, Neil Goldman, Chuck  Reiger,  Chris  Reisbeck,
13600		PRIMITIVE    CONCEPTS    UNDERLYING    VERBS    OF   THOUGHT,
13700		April 1972, 102  pages.
13800	
13900	AIM-163, J.M. Cadiou, RECURSIVE DEFINITIONS OF PARTIAL FUNCTIONS  AND
14000		THEIR COMPUTATIONS, April 1972, 160 pages.
14100	
14200	AIM-164,  Zohar  Manna  and  Jean  Vuilemin, FIXPOINT APPROACH TO THE
14300		THEORY OF COMPUTATION, April 1972, 29 pages. 
14400	
14500	AIM-165, D,A, Bochvar, TWO  PAPERS  ON  PARTIAL  PREDICATE  CALCULUS,
14600		April 1972, 50 pages.
14700	
14800	AIM 166, Lynn H. Quam, Sidney Liebes, Jr., Robert B.  Tucker,  Marsha
14900		Jo  Hannah,  Botond G. Eross,   COMPUTER  INTERACTIVE PICTURE
15000		PROCESSING, April 1972, 40 pages.
15100	
15200	AIM-167,  Ashok  Chandra,  EFFICIENT  COMPILATION OF LINEAR RECURSIVE
15300		PROGRAMS, April 1972.
15400	
15500	AIM-168,  Shigeru Igarashi, ADMISSIBILITY OF FIXED-POINT INDUCTION IN
15600		FIRST-ORDER LOGIC OF TYPED THEORIES, May 1972.
15700	
15800	AIM-169, Robin Milner, LOGIC FOR COMPUTABLE  FUNCTIONS.   DESCRIPTION
15900		OF A MACHINE IMPLEMENTATION, May 1972, 36 pages.
16000	
16100	AIM-170, Yorick Wilks,  LAKOFF  ON  LINGUISTICS  AND  NATURAL  LOGIC,
16200		June 1972.
16300	
16400	AIM-171, Roger Schank, ADVERBS AND BELIEF, June 1972.
16500